منابع مشابه
Static Analysis of Code Binaries for Safe Software Reuse
In this paper we consider reusability of software component binaries. Reuse of code at the binary level is important because usually only the machine code for system components is available; vendors do not want to share their source code for proprietary reasons. We develop necessary and sufficient conditions for ensuring that software binaries are reusable and relate them to the coding standard...
متن کاملArithmetic Reasoning for Static Analysis of Software
Software and hardware veri cation has shown the ability to prove the correctness of many sophisticated algorithms and to discover many subtle errors. But the veri cation tools are not in every-day use by nonspecialists. This paper describes several of the verication methods in a tool, which is in every-day use by programmers. The paper concentrates on theorem proving and related aspects.
متن کاملDeepCompare: Static analysis for runtime software evolution
Due to their modular design, component-based applications are relatively well-suited to supporting run-time evolution. However, replacing a component at run time without halting the application remains a difficult task. The main cause of this complexity can be found in transferring the state between two versions of a component. We have developed a methodology to perform run-time adaptations on ...
متن کاملDynamic upgrade of software
Part of any self-healing system must be a mechanism that allows the software in the system to be upgraded. It is simply not realistic to assume that there would be no bugs in software nor any need to add new functionality. This paper studies some work that has been done in solving the problems related to the dynamic upgrade (or update) of the software. We assume that the system has to serve the...
متن کاملStatic Analysis for Safe Destructive Updates in a Functional Language
Functional programs are more amenable to rigorous mathematical analysis than imperative programs, but are typically less efficient in terms of execution space and time. The update of aggregate data structures, such as arrays, are a significant source of space/time inefficiencies in functional programming. Imperative programs can execute such updates in place, whereas the semantics of functional...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Az Eszterházy Károly Tanárképz? F?iskola tudományos közleményei
سال: 2023
ISSN: ['1216-6014', '1787-6117', '1787-5021', '1589-6498']
DOI: https://doi.org/10.33039/ami.2023.08.010